Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
41	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra
42	18.312: Algebraic Combinatorics Lionel Levine Lecture 12 Lecture date: March 17, 2011 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2011-08-19 00:40:35 Algebra Algebraic logic Incidence algebra Order theory Boolean algebra Lattice Fuzzy logic Residuated lattice Residuated Boolean algebra Abstract algebra Mathematics Algebraic structures
43	Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:17:44 Proof theory Deduction Algebraic topology Curry–Howard correspondence Philosophy of computer science Type theory Entailment Sheaf Natural deduction Logic Abstract algebra Mathematics
44	Learning Outcomes • At the end of this lecture you should: understand how logic relates to computing problems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-09-05 06:45:45 Boolean algebra Logic gates Propositional calculus Logical connectives Algebraic logic XOR gate Exclusive or Truth table OR gate Mathematics Mathematical logic Abstract algebra
45	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
46	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
47	Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-06-14 22:31:40 Algebraic geometry Field theory Valuation PP Combinatory logic Assignment Grothendieck topology Lambda calculus Theoretical computer science Abstract algebra Mathematics
48	ON A LOWER BOUND FOR THE CONNECTIVITY OF THE INDEPENDENCE COMPLEX OF A GRAPH MICHAÃL ADAMASZEK † Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-10-30 10:03:20 Abstract algebra Algebraic topology Fundamental group Homotopy theory Homeomorphism Graph Linear temporal logic Orbifold Mathematics Graph theory Topology
49	Math. Appl), 167–175 DOI: maNEW BOUNDS FOR IRRATIONALITY MEASURES OF SOME FAST CONVERGING SERIES ˇ Add to Reading List Source URL: ma.fme.vutbr.cz Language: English - Date: 2015-01-08 02:59:20 Set theory Fourier analysis Abstract simplicial complex Algebraic topology Mathematical logic Mathematics Ordinal numbers
50	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra

UPDATE